Knut Åkesson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Managing Product and Production Variety – A Language Workbench Approach

Ebrahimi, Amir Hossein, Johansson, Pierre E.C., Bengtsson, Kristofer, Åkesson, Knut

Journal:

Year:

2014

Language:

english

File:

PDF, 567 KB

english, 2014

2

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - A formal specification language for PLC-based control logic

Ljungkrantz, Oscar, Akesson, Knut, Fabian, Martin, Yuan, Chengyin

Year:

2010

Language:

english

File:

PDF, 327 KB

english, 2010

3

Symbolic Supervisory Control of Timed Discrete Event Systems

Miremadi, Sajed, Fei, Zhennan, Akesson, Knut, Lennartson, Bengt

Journal:

IEEE Transactions on Control Systems Technology

Year:

2015

Language:

english

File:

PDF, 3.01 MB

english, 2015

4

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson

Journal:

Discrete Event Dynamic Systems

Year:

2007

Language:

english

File:

PDF, 792 KB

english, 2007

5

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson

Journal:

Discrete Event Dynamic Systems

Year:

2009

Language:

english

File:

PDF, 529 KB

english, 2009

6

Sequence Planning for Integrated Product, Process and Automation Design

Lennartson, Bengt, Bengtsson, Kristofer, Yuan, Chengyin, Andersson, Kristin, Fabian, Martin, Falkman, Petter, Akesson, Knut

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2010

Language:

english

File:

PDF, 991 KB

english, 2010

7

Formal Specification and Verification of Industrial Control Logic Components

Ljungkrantz, Oscar, Akesson, Knut, Fabian, Martin, Chengyin Yuan

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2010

Language:

english

File:

PDF, 817 KB

english, 2010

8

[IEEE 2007 IEEE International Conference on Automation Science and Engineering - Scottsdale, AZ, USA (2007.09.22-2007.09.25)] 2007 IEEE International Conference on Automation Science and Engineering - PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems

Alenljung, Tord, Skoldstam, Markus, Lennartson, Bengt, Akesson, Knut

Year:

2007

Language:

english

File:

PDF, 865 KB

english, 2007

9

An empirical study of control logic specifications for programmable logic controllers

Ljungkrantz, Oscar, Åkesson, Knut, Fabian, Martin, Ebrahimi, Amir Hossein

Journal:

Empirical Software Engineering

Year:

2014

Language:

english

File:

PDF, 680 KB

english, 2014

10

Towards Industrial Formal Specification of Programmable Safety Systems

Ljungkrantz, Oscar, Akesson, Knut, Yuan, Chengyin, Fabian, Martin

Journal:

IEEE Transactions on Control Systems Technology

Year:

2012

Language:

english

File:

PDF, 1.29 MB

english, 2012

11

[IEEE 2011 IEEE International Conference on Automation Science and Engineering (CASE 2011) - Trieste, Italy (2011.08.24-2011.08.27)] 2011 IEEE International Conference on Automation Science and Engineering - Modeling sequential resource allocation systems using Extended Finite Automata

Fei, Zhennan, Miremadi, Sajed, Akesson, Knut

Year:

2011

Language:

english

File:

PDF, 183 KB

english, 2011

12

[IEEE 2007 IEEE International Conference on Robotics and Automation - Rome, Italy (2007.04.10-2007.04.14)] Proceedings 2007 IEEE International Conference on Robotics and Automation - Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers

Ljungkrantz, Oscar, Akesson, Knut, Richardsson, Johan, Andersson, Kristin

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

13

[IEEE 2007 IEEE International Conference on Automation Science and Engineering - Scottsdale, AZ, USA (2007.09.22-2007.09.25)] 2007 IEEE International Conference on Automation Science and Engineering - Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior

Kobetski, Avenir, Richardsson, Johan, Akesson, Knut, Fabian, Martin

Year:

2007

Language:

english

File:

PDF, 954 KB

english, 2007

14

[IEEE 2007 IEEE International Conference on Automation Science and Engineering - Scottsdale, AZ, USA (2007.09.22-2007.09.25)] 2007 IEEE International Conference on Automation Science and Engineering - A Study of Industrial Logic Control Programming using Library Components

Ljungkrantz, Oscar, Akesson, Knut

Year:

2007

Language:

english

File:

PDF, 278 KB

english, 2007

15

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Miremadi, Sajed, Lennartson, Bengt, Akesson, Knut

Journal:

IEEE Transactions on Control Systems Technology

Year:

2012

Language:

english

File:

PDF, 3.26 MB

english, 2012

16

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Supervisory control using satisfiability solvers

Voronov, Alexey, Akesson, Knut

Year:

2008

Language:

english

File:

PDF, 151 KB

english, 2008

17

[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - State-vector transition model applied to supervisory control

Lennartson, Bengt, Miremadi, Sajed, Fei, Zhennan, Hosseini, Mona Noori, Fabian, Martin, Akesson, Knut

Year:

2012

Language:

english

File:

PDF, 400 KB

english, 2012

18

Supervisory Control for State-Vector Transition Models—A Unified Approach

Lennartson, Bengt, Basile, Francesco, Miremadi, Sajed, Fei, Zhennan, Hosseini, Mona Noori, Fabian, Martin, Akesson, Knut

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2014

Language:

english

File:

PDF, 3.28 MB

english, 2014

19

[IEEE 2009 IEEE International Conference on Automation Science and Engineering (CASE 2009) - Bangalore, India (2009.08.22-2009.08.25)] 2009 IEEE International Conference on Automation Science and Engineering - Verification of process operations using model checking

Voronov, Alexey, Akesson, Knut

Year:

2009

Language:

english

File:

PDF, 379 KB

english, 2009

20

Symbolic Computation of Reduced Guards in Supervisory Control

Miremadi, Sajed, Akesson, Knut, Lennartson, Bengt

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2011

Language:

english

File:

PDF, 676 KB

english, 2011

21

[IEEE 2008 IEEE International Conference on Automation Science and Engineering (CASE 2008) - Arlington, VA (2008.08.23-2008.08.26)] 2008 IEEE International Conference on Automation Science and Engineering - Formal specification and verification of components for industrial logic control programming

Ljungkrantz, Oscar, Akesson, Knut, Fabian, Martin

Year:

2008

Language:

english

File:

PDF, 159 KB

english, 2008

22

On Formal Analysis of IEC 61499 Applications, Part A: Modeling

Cengic, Goran, Akesson, Knut

Journal:

IEEE Transactions on Industrial Informatics

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

23

[IEEE Proceedings. Eighth International Workshop on Discrete Event Systems - Ann Arbor, MI, USA (2006.07.10-2006.07.12)] 2006 8th International Workshop on Discrete Event Systems - Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

Akesson, Knut, Fabian, Martin, Flordal, Hugo, Malik, Robi

Year:

2006

Language:

english

File:

PDF, 203 KB

english, 2006

24

On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics

Cengic, Goran, Akesson, Knut

Journal:

IEEE Transactions on Industrial Informatics

Year:

2010

Language:

english

File:

PDF, 384 KB

english, 2010

25

[IEEE 2006 IEEE Conference on Emerging Technologies and Factory Automation - Prague, Czech Republic (2006.09.20-2006.09.22)] 2006 IEEE Conference on Emerging Technologies and Factory Automation - A Framework for Component Based Distributed Control Software Development Using IEC 61499

Cengic, Goran, Ljungkrantz, Oscar, Akesson, Knut

Year:

2006

Language:

english

File:

PDF, 214 KB

english, 2006

26

[IEEE 2007 46th IEEE Conference on Decision and Control - New Orleans, LA, USA (2007.12.12-2007.12.14)] 2007 46th IEEE Conference on Decision and Control - Modeling of discrete event systems using finite automata with variables

Skoldstam, Markus, Akesson, Knut, Fabian, Martin

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

27

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Solving two supervisory control benchmark problems using Supremica

Sajed Miremadi,, Knut Akesson,, Fabian, Martin, Arash Vahidi,, Bengt Lennartson,

Year:

2008

Language:

english

File:

PDF, 176 KB

english, 2008

28

[IEEE 2006 IEEE Conference on Emerging Technologies and Factory Automation - Prague, Czech Republic (2006.09.20-2006.09.22)] 2006 IEEE Conference on Emerging Technologies and Factory Automation - Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

Cengic, Goran, Ljungkrantz, Oscar, Akesson, Knut

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

29

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Fei, Zhennan, Miremadi, Sajed, Akesson, Knut, Lennartson, Bengt

Journal:

IEEE Transactions on Control Systems Technology

Year:

2014

Language:

english

File:

PDF, 723 KB

english, 2014

30

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Fei, Zhennan, Reveliotis, Spyros, Miremadi, Sajed, Akesson, Knut

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2015

Language:

english

File:

PDF, 2.44 MB

english, 2015

31

[ACM Press the 6th International Workshop - Västerås, Sweden (2014.09.14-2014.09.14)] Proceedings of the 6th International Workshop on Feature-Oriented Software Development - FOSD '14 - Challenges in product family knowledge modeling and analysis

Ebrahimi, Amir Hossein, Johansson, Pierre E. C., Åkesson, Knut

Year:

2014

Language:

english

File:

PDF, 520 KB

english, 2014

32

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software

Fei, Zhennan, Akesson, Knut, Reveliotis, Spyros

Year:

2014

Language:

english

File:

PDF, 311 KB

english, 2014

33

[IEEE 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Luxembourg, Luxembourg (2015.9.8-2015.9.11)] 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Formal analysis of product variability and the effects on assembly operations

Ebrahimi, Amir Hossein, Akesson, Knut, Johansson, Pierre E. C., Lezama, Thomas

Year:

2015

Language:

english

File:

PDF, 107 KB

english, 2015

34

[IEEE 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Gothenburg, Sweden (2015.8.24-2015.8.28)] 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques

Fei, Zhennan, Akesson, Knut, Reveliotis, Spyros

Year:

2015

Language:

english

File:

PDF, 832 KB

english, 2015

35

Automated Analysis of Interdependencies Between Product Platforms and Assembly Operations

Ebrahimi, Amir Hossein, Åkesson, Knut, Johansson, Pierre E.C., Lezama, Thomas

Journal:

Year:

2016

Language:

english

File:

PDF, 201 KB

english, 2016

36

Formulating constraint satisfaction problems for the inspection of configuration rules

Tidstam, Anna, Malmqvist, Johan, Voronov, Alexey, Åkesson, Knut, Fabian, Martin

Journal:

Artificial intelligence for engineering design analysis and manufacturing

Year:

2016

Language:

english

File:

PDF, 372 KB

english, 2016

37

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems

Fei, Zhennan, Reveliotis, Spyros, Åkesson, Knut

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

38

Modelling Large-Scale Discrete-Event Systems Using Modules, Aliases, and Extended Finite-State Automata

Malik, Robi, Fabian, Martin, Åkesson, Knut

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 376 KB

english, 2011

39

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering

Fabian, Martin, Lennartson, Bengt, Akesson, Knut

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2017

Language:

english

File:

PDF, 75 KB

english, 2017

40

Hybrid Computer-Human Supervision of Flexible Manufacturing Systems

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 595 KB

english, 2003

41

A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification

Čengić, Goran, Åkesson, Knut

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 236 KB

english, 2008

42

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata * *This work has been performed with support from the Swedish Governmental Agency for Innovation Systems (VINNOVA) under project TESTRON 2015-04893

Eddeland, Johan, Cepeda, Javier Gil, Fransen, Rick, Miremadi, Sajed, Fabian, Martin, Åkesson, Knut

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 501 KB

english, 2017

43

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Malik, Robi, Åkesson, Knut, Flordal, Hugo, Fabian, Martin

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 674 KB

english, 2017

44

[IEEE 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017) - Xi'an (2017.8.20-2017.8.23)] 2017 13th IEEE Conference on Automation Science and Engineering (CASE) - Objective functions for falsification of signal temporal logic properties in cyber-physical systems

Eddeland, Johan, Miremadi, Sajed, Fabian, Martin, Akesson, Knut

Year:

2017

Language:

english

File:

PDF, 207 KB

english, 2017

45

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Applying Valued Booleans in Testing of Cyber-Physical Systems

Claessen, Koen, Smallbone, Nicholas, Liden Eddeland, Johan, Ramezani, Zahra, Akesson, Knut, Miremadi, Sajed

Year:

2018

Language:

english

File:

PDF, 312 KB

english, 2018

46

[IEEE 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - Munich, Germany (2018.8.20-2018.8.24)] 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation

Roselli, Sabino Francesco, Bengtsson, Kristofer, Akesson, Knut

Year:

2018

Language:

english

File:

PDF, 281 KB

english, 2018

47

[IEEE 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - Munich (2018.8.20-2018.8.24)] 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - Evaluation of Photogrammetry for Use in Industrial Production Systems

Li, Jason, Berglund, Jonatan, Auris, Felix, Hanna, Atieh, Vallhagen, Johan, Akesson, Knut

Year:

2018

File:

PDF, 7 KB

2018

48

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Claessen, Koen, Smallbone, Nicholas, Eddeland, Johan, Ramezani, Zahra, Åkesson, Knut

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 711 KB

english, 2018

49

[IEEE 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) - Vancouver, BC, Canada (2019.8.22-2019.8.26)] 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) - On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering

Roselli, Sabino, Hagebring, Fredrik, Riazi, Sarmad, Fabian, Martin, Akesson, Knut

Year:

2019

File:

PDF, 142 KB

2019

50

[IEEE 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Zaragoza, Spain (2019.9.10-2019.9.13)] 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing

Li, Jason, Gotvall, Per-Lage, Provost, Julien, Akesson, Knut

Year:

2019

File:

PDF, 869 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски